منابع مشابه
Constructing Differential Categories and Deconstructing Categories of Games
We present an abstract construction for building differential categories useful to model resource sensitive calculi, and we apply it to categories of games. In one instance, we recover a category previously used to give a fully abstract model of a nondeterministic imperative language. The construction exposes the differential structure already present in this model. A second instance correspond...
متن کاملConstructing process
A method of constructing process categories as generalized relations on a category of process models is presented. The construction may be viewed as a 2-functor, allowing structural properties of the process categories to be derived from the underlying structure of the model categories. In particular, this allows one to infer the presence of linear structure in a process category. The construct...
متن کاملConstructing TQFTs from Categories of Sheaves
In this talk, I’ll try to synthesise some of the ideas from the earlier talks in order to describe an example of a fully extended 2d TQFT. This TQFT will be built from geometric data following the “bottom-up” approach of the cobordism hypothesis. That is, we’ll choose a category of geometric objects (quashicoherent sheaves on a stack) to assign to the point, and explore some of the consequences...
متن کاملConstructing Model Categories with Prescribed Fibrant Objects
We present a weak form of a recognition principle for Quillen model categories due to J.H. Smith. We use it to put a model category structure on the category of small categories enriched over a suitable monoidal simplicial model category. The proof uses a part of the model structure on small simplicial categories due to J. Bergner. We give an application of the weak form of Smith’s result to le...
متن کاملConstructing customized process views
To enable effective cross-organizational collaborations, process providers have to offer external views on their internal processes to their partners. A process view hides details of an internal process that are secret to or irrelevant for the partners. This paper describes a formal two-step approach for constructing customized process views on structured process models. First, a non-customized...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)87171-x